$\forall$$n$:$\mathbb{N}$. nth\_tl($n$;[]) $\sim$ []